CALVANESE, DIEGO: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Tractable Reasoning and Efficient Query Answering in Description Logics: TheDL-LiteFamily

Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati

Journal:

Journal of Automated Reasoning

Year:

2007

Language:

english

File:

PDF, 857 KB

english, 2007

2

[Lecture Notes in Computer Science] Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering Volume 9885 ||

Pan, Jeff Z., Calvanese, Diego, Eiter, Thomas, Horrocks, Ian, Kifer, Michael, Lin, Fangzhen, Zhao, Yuting

Year:

2017

Language:

english

File:

PDF, 11.40 MB

english, 2017

3

First-order μ -calculus over generic transition systems and applications to the situation calculus

Calvanese, Diego, De Giacomo, Giuseppe, Montali, Marco, Patrizi, Fabio

Journal:

Information and Computation

Year:

2018

Language:

english

File:

PDF, 679 KB

english, 2018

4

Reasoning on UML class diagrams

Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo

Journal:

Artificial Intelligence

Year:

2005

Language:

english

File:

PDF, 464 KB

english, 2005

5

[Lecture Notes in Computer Science] Database Theory — ICDT 2003 Volume 2572 || Open Problems in Data-Sharing Peer-to-Peer Systems

Calvanese, Diego, Lenzerini, Maurizio, Motwani, Rajeev

Year:

2003

Language:

english

File:

PDF, 395 KB

english, 2003

6

Data complexity of query answering in description logics

Calvanese, Diego, De Giacomo, Giuseppe, Lembo, Domenico, Lenzerini, Maurizio, Rosati, Riccardo

Journal:

Artificial Intelligence

Year:

2013

Language:

english

File:

PDF, 432 KB

english, 2013

7

[Lecture Notes in Computer Science] Database Theory — ICDT 2003 Volume 2572 || Typing Graph-Manipulation Operations

Calvanese, Diego, Lenzerini, Maurizio, Motwani, Rajeev

Year:

2003

Language:

english

File:

PDF, 747 KB

english, 2003

8

Special issue of the Journal of Web Semantics on ontology-based data access

Calvanese, Diego, Koubarakis, Manolis, Toman, David

Journal:

Web Semantics: Science, Services and Agents on the World Wide Web

Year:

2015

Language:

english

File:

PDF, 280 KB

english, 2015

9

Conjunctive query containment and answering under description logic constraints

Calvanese, Diego, Giacomo, Giuseppe De, Lenzerini, Maurizio

Journal:

ACM Transactions on Computational Logic

Year:

2008

Language:

english

File:

PDF, 368 KB

english, 2008

10

Ontology-based data integration in EPNet: Production and distribution of food during the Roman Empire

Calvanese, Diego, Liuzzo, Pietro, Mosca, Alessandro, Remesal, José, Rezk, Martin, Rull, Guillem

Journal:

Engineering Applications of Artificial Intelligence

Year:

2016

Language:

english

File:

PDF, 5.75 MB

english, 2016

11

Knowledge base exchange: The case of OWL 2 QL

Arenas, Marcelo, Botoeva, Elena, Calvanese, Diego, Ryzhikov, Vladislav

Journal:

Artificial Intelligence

Year:

2016

Language:

english

File:

PDF, 1.59 MB

english, 2016

12

Ontop: Answering SPARQL queries over relational databases

Calvanese, Diego, Cogrel, Benjamin, Komla-Ebri, Sarah, Kontchakov, Roman, Lanti, Davide, Rezk, Martin, Rodriguez-Muro, Mariano, Xiao, Guohui, Corcho, Óscar

Journal:

Year:

2016

Language:

english

File:

PDF, 423 KB

english, 2016

13

[Lecture Notes in Computer Science] Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering Volume 9885 || Understanding Author Intentions: Test Driven Knowledge Graph Construction

Pan, Jeff Z., Calvanese, Diego, Eiter, Thomas, Horrocks, Ian, Kifer, Michael, Lin, Fangzhen, Zhao, Yuting

Year:

2017

Language:

english

File:

PDF, 1006 KB

english, 2017

14

[Lecture Notes in Computer Science] Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering Volume 9885 || From Fuzzy to Annotated Semantic Web Languages

Pan, Jeff Z., Calvanese, Diego, Eiter, Thomas, Horrocks, Ian, Kifer, Michael, Lin, Fangzhen, Zhao, Yuting

Year:

2017

Language:

english

File:

PDF, 741 KB

english, 2017

15

SMT-based verification of data-aware processes: a model-theoretic approach

Calvanese, Diego, Ghilardi, Silvio, Gianola, Alessandro, Montali, Marco, Rivkin, Andrey

Journal:

Mathematical Structures in Computer Science

Year:

2020

File:

PDF, 813 KB

2020

16

A Framework Uniting Ontology-Based Geodata Integration and Geovisual Analytics

Ding, Linfang, Xiao, Guohui, Calvanese, Diego, Meng, Liqiu

Journal:

ISPRS International Journal of Geo-Information

Year:

2020

File:

PDF, 6.11 MB

2020

17

Rewriting of Regular Expressions and Regular Path Queries

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi

Journal:

Journal of Computer and System Sciences

Year:

2002

Language:

english

File:

PDF, 189 KB

english, 2002

18

Inconsistency tolerance in P2P data integration: An epistemic logic approach

Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati

Journal:

Information Systems

Year:

2008

Language:

english

File:

PDF, 551 KB

english, 2008

19

Decidable containment of recursive queries

Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 328 KB

english, 2005

20

Data integration under integrity constraints

Andrea Calı̀, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini

Journal:

Information Systems

Year:

2004

Language:

english

File:

PDF, 374 KB

english, 2004

21

Data Complexity of Query Answering in Expressive Description Logics via Tableaux

Magdalena Ortiz, Diego Calvanese, Thomas Eiter

Journal:

Journal of Automated Reasoning

Year:

2008

Language:

english

File:

PDF, 772 KB

english, 2008

22

Enterprise modeling and Data Warehousing in Telecom Italia

Diego Calvanese, Luigi Dragone, Daniele Nardi, Riccardo Rosati, Stefano M. Trisolini

Journal:

Information Systems

Year:

2006

Language:

english

File:

PDF, 764 KB

english, 2006

23

View-based query processing: On the relationship between rewriting, answering and losslessness

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 403 KB

english, 2007

24

OCL-Lite: Finite reasoning on UML/OCL conceptual schemas

Anna Queralt, Alessandro Artale, Diego Calvanese, Ernest Teniente

Journal:

Data & Knowledge Engineering

Year:

2012

Language:

english

File:

PDF, 1.56 MB

english, 2012

25

View-based query answering in Description Logics: Semantics and complexity

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati

Journal:

Journal of Computer and System Sciences

Year:

2012

Language:

english

File:

PDF, 314 KB

english, 2012

26

Tractability and Intractability of Controlled Languages for Data Access

Camilo Thorne, Diego Calvanese

Journal:

Year:

2012

Language:

english

File:

PDF, 370 KB

english, 2012

27

On simplification of schema mappings

Calvanese, Diego, De Giacomo, Giuseppe, Lenzerini, Maurizio, Vardi, Moshe Y.

Journal:

Journal of Computer and System Sciences

Year:

2013

Language:

english

File:

PDF, 346 KB

english, 2013

28

Capturing model-based ontology evolution at the instance level: The case of DL-Lite

Kharlamov, Evgeny, Zheleznyakov, Dmitriy, Calvanese, Diego

Journal:

Journal of Computer and System Sciences

Year:

2013

Language:

english

File:

PDF, 755 KB

english, 2013

29

[Lecture Notes in Computer Science] Web Reasoning and Rule Systems Volume 5341 || Rule Interchange Format: The Framework

Calvanese, Diego, Lausen, Georg

Year:

2008

Language:

english

File:

PDF, 178 KB

english, 2008

30

Answering regular path queries in expressive Description Logics via alternating tree-automata

Calvanese, Diego, Eiter, Thomas, Ortiz, Magdalena

Journal:

Information and Computation

Year:

2014

Language:

english

File:

PDF, 971 KB

english, 2014

31

[IEEE 2006 IEEE International Conference on Web Services (ICWS'06) - Chicago, IL, USA (2006.09.18-2006.09.22)] 2006 IEEE International Conference on Web Services (ICWS'06) - ComposingWeb Services with Nondeterministic Behavior

Berardi, Daniela, Giacomo, Giuseppe, Mecella, Massimo, Calvanese, Diego

Year:

2006

Language:

english

File:

PDF, 107 KB

english, 2006

32

[Lecture Notes in Computer Science] Web Reasoning and Rule Systems Volume 5341 || A Survey of Revision Approaches in Description Logics

Calvanese, Diego, Lausen, Georg

Year:

2008

Language:

english

File:

PDF, 252 KB

english, 2008

33

[IEEE 2008 IEEE 24th International Conference on Data Engineeing workshop (ICDE Workshop 2008) - Cancun, Mexico (2008.04.7-2008.04.12)] 2008 IEEE 24th International Conference on Data Engineering Workshop - Realizing Ontology Based Data Access: A plug-in for protégé

Rodriguez-Muro, Mariano, Lubyte, Lina, Calvanese, Diego

Year:

2008

Language:

english

File:

PDF, 374 KB

english, 2008

34

DATA INTEGRATION IN DATA WAREHOUSING

CALVANESE, DIEGO, DE GIACOMO, GIUSEPPE, LENZERINI, MAURIZIO, NARDI, DANIELE, ROSATI, RICCARDO

Journal:

International Journal of Cooperative Information Systems

Year:

2001

Language:

english

File:

PDF, 402 KB

english, 2001

35

[Lecture Notes in Computer Science] Web Reasoning and Rule Systems Volume 5341 || Reasoning with a Network of Aligned Ontologies

Calvanese, Diego, Lausen, Georg

Year:

2008

Language:

english

File:

PDF, 286 KB

english, 2008

36

AUTOMATIC SERVICE COMPOSITION BASED ON BEHAVIORAL DESCRIPTIONS

BERARDI, DANIELA, CALVANESE, DIEGO, DE GIACOMO, GIUSEPPE, LENZERINI, MAURIZIO, MECELLA, MASSIMO

Journal:

International Journal of Cooperative Information Systems

Year:

2005

Language:

english

File:

PDF, 1.61 MB

english, 2005

37

[ACM Press the 32nd symposium - New York, New York, USA (2013.06.22-2013.06.27)] Proceedings of the 32nd symposium on Principles of database systems - PODS '13 - Foundations of data-aware process analysis

Calvanese, Diego, De Giacomo, Giuseppe, Montali, Marco

Year:

2013

Language:

english

File:

PDF, 525 KB

english, 2013

38

[Lecture Notes in Computer Science] Database Theory — ICDT 2003 Volume 2572 ||

Calvanese, Diego, Lenzerini, Maurizio, Motwani, Rajeev

Year:

2003

Language:

english

File:

PDF, 6.68 MB

english, 2003

39

[ACM Press the 23rd ACM International Conference - Shanghai, China (2014.11.03-2014.11.07)] Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management - CIKM '14 - Verifiable UML Artifact-Centric Business Process Models

Calvanese, Diego, Montali, Marco, Estañol, Montserrat, Teniente, Ernest

Year:

2014

Language:

english

File:

PDF, 585 KB

english, 2014

40

[ACM Press the 14th International Conference - Uppsala, Sweden (2011.03.21-2011.03.24)] Proceedings of the 14th International Conference on Database Theory - ICDT '11 - Simplifying schema mappings

Calvanese, Diego, De Giacomo, Giuseppe, Lenzerini, Maurizio, Vardi, Moshe Y.

Year:

2011

Language:

english

File:

PDF, 878 KB

english, 2011

41

[ACM Press the seventeenth ACM SIGACT-SIGMOD-SIGART symposium - Seattle, Washington, United States (1998.06.01-1998.06.04)] Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '98 - On the decidability of query containment under constraints

Calvanese, Diego, De Giacomo, Giuseppe, Lenzerini, Maurizio

Year:

1998

Language:

english

File:

PDF, 1.19 MB

english, 1998

42

[ACM Press the nineteenth ACM SIGMOD-SIGACT-SIGART symposium - Dallas, Texas, United States (2000.05.15-2000.05.18)] Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS '00 - View-based query processing for regular path queries with inverse

Calvanese, Diego, Vardi, Moshe Y., de Giacomo, Giuseppe, Lenzerini, Maurizio

Year:

2000

File:

PDF, 204 KB

2000

43

[ACM Press the 14th international conference - Ischia, Italy (2002.07.15-2002.07.19)] Proceedings of the 14th international conference on Software engineering and knowledge engineering - SEKE '02 - The multilingual thesaurus of LAURIN

Calvanese, Diego, Catarci, Tiziana, Lenzerini, Maurizio, Santucci, Giuseppe

Year:

2002

Language:

english

File:

PDF, 161 KB

english, 2002

44

[ACM Press the eighteenth ACM SIGMOD-SIGACT-SIGART symposium - Philadelphia, Pennsylvania, United States (1999.05.31-1999.06.03)] Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS '99 - Rewriting of regular expressions and regular path queries

Calvanese, Diego, De Giacomo, Giuseppe, Lenzerini, Maurizio, Vardi, Moshe Y.

Year:

1999

Language:

english

File:

PDF, 1.28 MB

english, 1999

45

[ACM Press Proceeding of the 2nd international workshop - Napa Valley, California, USA (2008.10.30-2008.10.30)] Proceeding of the 2nd international workshop on Ontologies and nformation systems for the semantic web - ONISW '08 - Aggregate queries over ontologies

Calvanese, Diego, Kharlamov, Evgeny, Nutt, Werner, Thorne, Camilo

Year:

2008

Language:

english

File:

PDF, 342 KB

english, 2008

46

[ACM Press Proceeding of the ACM twelfth international workshop - Hong Kong, China (2009.11.06-2009.11.06)] Proceeding of the ACM twelfth international workshop on Data warehousing and OLAP - DOLAP '09 - Discovering functional dependencies for multidimensional design

Romero, Oscar, Calvanese, Diego, Abelló, Alberto, Rodríguez-Muro, Mariano

Year:

2009

Language:

english

File:

PDF, 601 KB

english, 2009

47

[ACM Press the 32nd symposium - New York, New York, USA (2013.06.22-2013.06.27)] Proceedings of the 32nd symposium on Principles of database systems - PODS '13 - Verification of relational data-centric dynamic systems with external services

Bagheri Hariri, Babak, Calvanese, Diego, De Giacomo, Giuseppe, Deutsch, Alin, Montali, Marco

Year:

2013

Language:

english

File:

PDF, 765 KB

english, 2013

48

[ACM Press the thirteenth ACM SIGACT-SIGMOD-SIGART symposium - Minneapolis, Minnesota, United States (1994.05.24-1994.05.27)] Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '94 - Making object-oriented schemas more expressive

Calvanese, Diego, Lenzerini, Maurizio

Year:

1994

Language:

english

File:

PDF, 1.24 MB

english, 1994

49

[ACM Press the 2010 ACM Symposium - Sierre, Switzerland (2010.03.22-2010.03.26)] Proceedings of the 2010 ACM Symposium on Applied Computing - SAC '10 - Web-based graphical querying of databases through an ontology

Calvanese, Diego, Keet, C. Maria, Nutt, Werner, Rodríguez-Muro, Mariano, Stefanoni, Giorgio

Year:

2010

Language:

english

File:

PDF, 570 KB

english, 2010

50

Soundness of data-aware, case-centric processes

Montali, Marco, Calvanese, Diego

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2016

Language:

english

File:

PDF, 937 KB

english, 2016